En un lenguaje con tipado estático, la inmutabilidad es el estado fundamental de los datos, garantizando la seguridad de memoria y una ejecución predecible. Aunque las variables pueden ser sombreadas o hacerse mutables, Constantes van un paso más allá al vincular un valor a un nombre de forma permanente.

1. La rigidez de las constantes

A diferencia de las variables estándar donde Inferencia de tipos permite al compilador deducir el tipo de dato, las constantes requieren estrictamente una anotación de tipo explícita (por ejemplo, : u32). Esto mantiene contratos rigurosos dentro del binario del código.

2. Evaluación en tiempo de compilación

Las constantes no son simplemente variables inmutables; se evalúan y "incorporan" en el binario del programa durante el tiempo de compilación. Esto permite al compilador realizar expresiones constantes (como 60 * 60 * 3) antes de que el programa siquiera se ejecute, optimizando el rendimiento.

3. Inmutabilidad absoluta

Las constantes sirven como la "única fuente de verdad." No pueden hacerse mutables con mut y no pueden ser sombreadas en el mismo ámbito, asegurando que los parámetros vitales del programa permanezcan sin alteraciones durante toda su ejecución.